State Equations in Stochastic Process Algebra Models

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Symbolic Minimisation of Stochastic Process Algebra Models

Stochastic process algebras have been introduced in order to enable compositional performance analysis. The size of the state space is a limiting factor, especially if the system consists of many cooperating components. To fight state space explosion, compositional aggregation based on congruence relations can be applied. This paper addresses the computational complexity of minimisation algorit...

متن کامل

Scalable Analysis of Stochastic Process Algebra Models

The performance modelling of large-scale systems using discrete-state approaches is fundamentally hampered by the well-known problem of state-space explosion, which causes exponential growth of the reachable state space as a function of the number of the components which constitute the model. Because they are mapped onto continuous-time Markov chains (CTMCs), models described in the stochastic ...

متن کامل

Time Scale Decomposition of Stochastic Process Algebra Models

Realistic models of computer and communication systems result in large, complex performance models. Compositionality, offered by stochastic process algebra constructs a model from submodels which are smaller and more tractable. We present a technique to exploit this structure in order to enhance the solution of the model by decomposition of the underlying Markov process. The decomposition under...

متن کامل

Integrated Analysis from Abstract Stochastic Process Algebra Models

view Stochastic Simulation individual view Abstract Bio-PEPA model Fig. 1. Alternative modelling approaches: a single Bio-PEPA description of a system may be used to derive alternative mathematical representations o ering di erent analysis possibilities In contrast, biologists often take a population-based view of cellular systems, representing them as systems of ordinary di erential equations ...

متن کامل

Fundamental Results on Fluid Approximations of Stochastic Process Algebra Models

In order to avoid the state space explosion problem encountered in the quantitative analysis of large scale PEPA models, a fluid approximation approach has recently been proposed, which results in a set of ordinary differential equations (ODEs) to approximate the underlying continuous time Markov chain (CTMC). This paper presents a mapping semantics from PEPA to ODEs based on a numerical repres...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: IEEE Access

سال: 2019

ISSN: 2169-3536

DOI: 10.1109/access.2019.2902472